(Fset_window_point): If displaying cursors in windows
authorGerd Moellmann <gerd@gnu.org>
Tue, 12 Dec 2000 16:14:01 +0000 (16:14 +0000)
committerGerd Moellmann <gerd@gnu.org>
Tue, 12 Dec 2000 16:14:01 +0000 (16:14 +0000)
commit3b22a1dd5e03d3b965d360e17d43a35393c6ca68
tree17649a64cdef87a5712577a3f604ba1fac58f707
parent78bfb83580835b15c727224cf764b49ad2b75b3b
(Fset_window_point): If displaying cursors in windows
other than the selected window, make sure redisplay updates
other windows to show the new value of point in the window.
src/window.c